Pengantar Aljabar Linier: Geometri Empat Ruang Pokok

Empat ruang pokok dari matriks apa pun $A \in \mathbb{R}^{m \times n}$ tidak berdiri sendiri-sendiri; mereka secara geometris terhubung sebagai pasangan komplemen ortogonal. Arsitektur ortogonal ini merupakan prasyarat untuk menyelesaikan sistem yang tidak konsisten melalui proyeksi dan kuadrat terkecil. Kita menetapkan bahwa ruang baris $C(A^T)$ secara sempurna tegak lurus terhadap ruang nol $N(A)$ di $\mathbb{R}^n$, sedangkan ruang kolom $C(A)$ tegak lurus terhadap ruang nol kiri $N(A^T)$ di $\mathbb{R}^m$.

Definisi dan Ortogonalitas

Untuk memahami struktur suatu matriks, kita harus mendefinisikan terlebih dahulu artinya bagi dua ruang vektor saling tegak lurus. Ini adalah syarat yang jauh lebih ketat dibandingkan ortogonalitas vektor biasa.

Ortogonalitas Ruang Bagian: Dua ruang bagian $V$ dan $W$ dari ruang vektor dikatakan ortogonal jika setiap vektor $v$ dalam $V$ tegak lurus terhadap setiap vektor $w$ dalam $W$. Secara formal: $v^T w = 0$ untuk semua $v \in V$ dan semua $w \in W$.
Komplemen Ortogonal ($V^\perp$): Komplemen ortogonal dari ruang bagian $V$ berisi setiap vektor yang tegak lurus terhadap $V$. Dinyatakan dengan simbol $V^\perp$ (dibaca "V perp").

Teorema Dasar Ortogonalitas

Identitas inti aljabar linier menghubungkan aksi matriks dengan geometri ruang-ruangnya:

Bukti Ruang Baris

Jika $x$ berada di ruang nol $N(A)$, maka $Ax = 0$. Artinya hasil kali titik setiap baris matriks $A$ dengan $x$ adalah nol. Karena ruang baris $C(A^T)$ direntang oleh baris-baris tersebut, maka setiap vektor dalam ruang baris harus tegak lurus terhadap $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Ini mengarah pada keseimbangan dimensi yang indah. Di $\mathbb{R}^n$, dimensi selalu saling melengkapi: $\dim(C(A^T)) + \dim(N(A)) = n$. Demikian pula di $\mathbb{R}^m$, kita memiliki $\dim(C(A)) + \dim(N(A^T)) = m$.

Alternatif Fredholm

Ada dualitas struktural di mana tepat satu dari masalah berikut memiliki solusi:

$Ax = b$: Vektor $b$ berada di ruang kolom.
$A^T y = 0$ dengan $y^T b = 1$: $b$ memiliki komponen di ruang nol kiri, sehingga membuat sistem menjadi tidak konsisten.

🎯 Kesalahan Umum: Dua Dinding

Dua dinding di dalam ruangan tampak saling tegak lurus, tetapi mereka BUKAN ruang bagian ortogonal! Keduanya berbagi garis pertemuan. Karena vektor di garis tersebut tidak tegak lurus terhadap dirinya sendiri ($v^T v \neq 0$), definisi ketat gagal. Dua bidang di $\mathbb{R}^3$ tidak akan pernah menjadi ruang bagian ortogonal.

PERTANYAAN 1

Dua ruang bagian V dan W dikatakan ortogonal jika:

Setidaknya satu vektor dalam V tegak lurus terhadap vektor dalam W.

Vektor nol adalah satu-satunya vektor yang mereka miliki bersama.

Setiap vektor dalam V tegak lurus terhadap setiap vektor dalam W.

V dan W memiliki dimensi yang sama.

PERTANYAAN 2

Jika A adalah matriks 4×6 dengan rank 3, berapa dimensi ruang nol N(A)?

PERTANYAAN 3

Ruang bagian mana yang merupakan komplemen ortogonal dari Ruang Kolom C(A)?

Ruang Nol N(A)

Ruang Baris C($A^T$)

Ruang Nol Kiri N($A^T$)

Matriks Identitas I

PERTANYAAN 4

Mengapa dua dinding yang saling tegak lurus di dalam ruangan bukan ruang bagian ortogonal?

Karena mereka adalah bidang 2D dalam ruang 3D.

Karena mereka berbagi garis vektor yang tidak tegak lurus terhadap dirinya sendiri.

Karena mereka tidak berpotongan di titik asal.

Sebenarnya, mereka adalah ruang bagian ortogonal.

PERTANYAAN 5

Jika Ax = 0, hasil kali titik mana yang dipastikan bernilai nol?

Hasil kali titik antara kolom sembarang A dengan x.

Hasil kali titik antara baris sembarang A dengan x.

Hasil kali titik antara x dengan dirinya sendiri.

Hasil kali titik antara b dengan x.